Search Results for "Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism (OOPSLA'20)"

Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism (OOPSLA'20)

[OOPSLA] Effects,capabilities,and boxes: from scope-based reasoning to type-based reasoning and back

Effect Handlers, Evidently (ICFP 2020)

[OOPSLA] High-Level Effect Handlers in C++

Designing with Static Capabilities and Effects

Higher-Order Programming with Effects -- without First-Class Functions

02 Effects as Capabilities

Efficient Compilation of Algebraic Effect Handlers - Ningning Xie

Ningning Xie on “Algebraic Effect Handlers with Parallelizable Computations”

Handling Bidirectional Control Flow

Compiling Effect Handlers in Capability-Passing Style (ICFP 2020)

Algebraic effects and handlers in the Effekt language